Buy Used and New Corina S. Pasareanu Books

Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I: 9206 (Lecture Notes in Computer Science)

by Daniel Kroening,Corina S. Pasareanu

ISBN 13: 9783319216898

Format: Paperback (704 pages)
Publisher: Springer
Published: 27 Jul 2015

Save for later

Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings: 13085 (Lecture Notes in Computer Science, 13085)

by Radu Calinescu,Corina S. Pasareanu

ISBN 13: 9783030921231

Format: Paperback (537 pages)
Publisher: Springer
Published: 03 Dec 2021

Save for later